Fixed bug (issue #39) where it was impossible to call a function with in: Nothing. When checking for argument number mismatch errors, I simply check that types with type Nothing are not counted.