tpyo
can't call tosource on strings; should just call PP.str
making well-formedness checker at least work on the current compiler
with no errors; can't fully test it until we have our test harness and
tests revived...