formal languages

On the Generality and Convenience of Etypes