Adjustments caused by change to type of grammars in HOL/examples

HOL commit: mn200/HOL@ac9dad9f2df2
Force exception handling to have syntax E1 "handle" "IntError" V => E2

As discussed yesterday via e-mail.