started an Abstract Syntax rough draft for PCONS