Prose to HoTT expression: basic parsing