schema instantiation; add some built-in types