fix datatype printing
Fix constructor for Datatype class
numerous fixes; some parametric datatypes now supported