new import in PrimIface for new primops
add Show instance for new primops
use improved prettyprinter