some changes to the SEC machine to make the life of the compiler easier: all binary operators are of one type now instead of seperating relational and numeric