fixed typechecking bug "too few args" bug for functions with two args
+ 3 tests