fixed error messages arising from unwanted backtracking after side-condition failures in grammar rules, added expression statement type to catch attempts to use expressions as statements or on the LHS of assignments