Exposed a few type-checking primitives from the library.