Adding class for Fixity, disjointness and domain/range restrictions