WYRL: a few minor tweaks to remove debugging information.  It seems to be working correctly for the logic and types examples.  Need to do inference rules now, however.