corrected a bug in process printing, term printing and type checking

1 job for hashcons in 38 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #4404
build

00:00:38

 
Name Stage Failure
failed
build Test
Proof file test/fail/enc.apo: 

Failed to fail:
Failed successfully:
test/fail/enc.api

Some tests failed:
test/ok/nsl.api
ERROR: Job failed: exit status 1