put preliminary psymbol conversion into PExp.java. This is most likely going to need some tweaking.