Added new instance for ReferenceLike for (Z2 c r a -> Z2 c r a).