test type checker

[lilott8]

Verify the type checking meets parity with OOPSLA paper.

[lilott8]

Also, ensure that typing annotations propagate from manifest, where they are declared.