Add scaffolding for type safety checks
Test of invalid equality test
Another test of invalid equality
Fix bug in boolean type check logic
rename type tests so they actually run
Test of invalid less than
Test of logical operators
Fix and test binary arithmetic operators
Test of division typing
type tests of case expressions
Rename UnaryFloatFunction to UnaryDoubleFunction
Test of cos function
Enforce type safety of where clauses
Test of tangent type safety
Test of invalid POW expression
Test of substring type safety
Test of invalid LEN invocation
Test of lesser function
Type safety tests with aggregates
Test of invalid avg, stdev