Type checker completed / More tests to be done