DTRE (Data Type Refinement Environment) Project