added typechecking of enumerable types to whilecondition, body, and assignpost