Cleanup: rename PValue data constructor into Terminal

This would close #57