Runtime part for `runtime-type-inspector`.

This is implementing the type validation logic for `@runtime-type-inspector/transpiler`.