Type Checking #13
Description
- Type checker currently only accepts triples in the queries, no shortcuts like
x a b; c d. - Add more test cases
constructshould run the type checker too
{{ message }}
x a b; c d.construct should run the type checker too