Improvements to Jaguar parser

Some more improvemnts (see #74 for discussion).