Simpler Python PEG parsing