Add unit tests for type checks

[lhstrh]

A lot of machinery is at work in the runtime implementation to ensure type safety. We should have some tests that ensure these mechanisms continue to work as expected. We can't do this in Jest, but we can do it using this framework: https://www.npmjs.com/package/expect-type