BuiltinType:
    | NumberConstructor
    | StringConstructor
    | BooleanConstructor
    | ObjectConstructor