introduced make-type intrinsic and some type conversion infrastructure