Added primitive defs to name_table.
Added primitives to name table for pretty much any valid operator.
Implemented typechecking of functional binary operators.