Updated PCONS concrete syntax and README