Add more docs to PTerm