Uncommented Or, Not, Times and Div in TpAbSyn.sml