fixed bug in Type.operator==