traits added to Tools::equality2type