Add first type checking tests

Note: one is currently failing (accurately), because currently
using undefined variables is just a warning. we should fix that!

test plan: make test