Fixed URL resolution in the parser (for \insert).
Optimized PEG.oz by using some builtins directly.