Cleanup: rename PValue data constructor into Terminal