typedefs is a grammar language created in 2017.
Typedefs is a programming language agnostic, algebraic data type definition language, written in Idris.