a bunch of types and declarations, adopt the prefix that unboxed types are declared as Intrinsic for now