refactor Declaration specs
move ExpressionStatement specs
refactor and reorganize CompoundStatement specs
pare down ExpressionStatement spec
note FIXME for CompoundStatement spec
simplify specs up to IfStatement
pare down IfStatement specs
pare down WhileStatement specs
pare down ReturnStatement and WriteStatement specs
FIXME for Parser spec