Ensure type tuples contain at least 2 elements, changed lambda syntax
Merge branch 'functionTypeChecking' of https://github.com/CollinReeser/clam into functionTypeChecking