type systems

On the Generality and Convenience of Etypes