Improve error message when 'forall' is not a keyword