- Add more tests - Make struct-declarations type-check - Split environment into type bindings and variable bindings - Fix kind inference adding the wrong element to the env