Detect and fix #15.

- Refactored type lookup error handling. (Not a fan of the current implementation, but I'll let it evolve over time...)
fixed up a test that was generating missing type warnings