prints lexical with python-style syntax.
probably will never typecheck
python-lexical-printer now typechecks
hooked in new show-scope
some format changes to the printout