Add syntax error explanation to 4.01
Improve explanation on 4.02
Factor out syntax extensions from 4.01 grammar