Extensible language based on monoid-parameterized parsing