Fixed equality now there are loads of new types