Added do/while construct, and also made semicolons a statement type.