ARE_ALIKE is ASCEND's 'refinement clique' constructor. It causes a group of instances to always be of the same formal type. Refining one of them causes a refinement of all the others. Does not propagate implicit type information, such as assignments to constants or part refinements made from a scope other than the scope of the formal definition.
Examples are needed here.