Merely inserted a couple of TODOs telling me to do stuff.
Added lvalue tracking to check_expr.
Implemented magic unary operators.
Implemented magic binop type checking.