added correct datatypes from AbSyn.sml
types modified