Grammar for core-ometa. Semantics of empty pex and atom pex.