If you have a type system, you implement the type ...

# random

[mp]

If you have a type system, you implement the type system in the compiler at least, and maybe in the runtime if you can -- but if not, it's still in the compiler.