Learned how to spell inferrer :(
Can now commit without closing VSE
Further development of type checker