removed '*' operator from reduce ports as we are not ready to support
this yet I believe
added t to built-in symbols and ^ to list of arithmetic operators
Merge branch 'updated_spec'