Make TypeEq and its inner types interfaces

[gneuvill]

As @jbgi and I discussed on gitter. I wonder if we could get rid of a number of casts by instantiating TypeEq through method references....