Fix lvalue check. See assignment and increment/decrement doesn't yield an lvalue.
Add part of binary operator type check.
Fix unary expression parsing.
Type Check and Generator (stub) modes for test driver.
Fix type check of unary asterisk and array subscript.