modify type checkers to return "undefined" instead of False
multiplicative expr cleanup
whoops
implement logical OR/AND type checker
equality expression type checking
logical_AND_expr type checking
logical_OR_expr type checking: returns code, type
update jump_stmt to handle returned tuple from logical_OR_expr
update assignment_expr to handle returned tuple from logical_OR_expr
assignment_expr cleanup
edit error message