- Type checker currently only accepts triples in the queries, no shortcuts like `x a b; c d.` - Add more test cases - `construct` should run the type checker too
x a b; c d.constructshould run the type checker too