Add datatypes for datatypes, no parametric datatypes for now