Equational grammar, (Janua linguarum)