minor tweaks
added L5 (though still need to test), and fixed up a few minor things.

implemented L5 parser.
implemented Show for L5.
implemented Show for PrimName
fixed up "todo" error statements so they have more information.
a few other minor things here and there.