Updates the grammar a bit -- increment step is now optional.
Adds some tests for VisitLiteralExpression to make sure that it throws an exception for overflow.
Implements VisitForStatement and VisitForInitStatement.