Type asserts: Fix issues with TypeName and asserts

The assert functions we used for testing was wrong. It did not
handle number vs Number.

We also dropped the `moduleName` of the TypeName on the floor.
I have a large branch with type work. I'm not filing issues for all of these but once I've gotten all the work done/reviewed it is time to file issues.