Runs and compiles, added type checking for binary operators (math comparisons / arithmetic).