Updated rules to FA 2012 grammar
More descriptive output from a certain type error