added negation in datatype
trying to revert stack.sml