fix checker

- VariableBinder now continues if it stumbles upon undeclared variable
- function arguments are now checked even if wrong number of them has been given