Binop constraints now have their own little file. The typechecker needs to access them as well as the constraints generator so its cleaner this. Also some bug fixes including function calls and assertions are now added.