Added a pretty printer for hashconsed terms
+ tests in a subdir of system