Another big update, mostly small improvements.
Added parser support for ignoring erroneous semicolons after last
declaration/statement.
Added beginning of typechecking.