Abstract Equality and Special Types!