Added ExprChecker tests.
Implemented type checks on Forms and Statements.
Added FormChecker tests.