Semi-formal grammar translation from Idris parser