Supporting meta-types in a compiled, reflective programming language