make compiler generate printing code

print non-module declarations as they are put in place on the stack;
print constructors (both in and out of modules) as they are numbered;
print modules just with their name.

untested (though existing tests still pass) and this will break
compilerProofsTheory.