Handle consistency for partially-defined functors defined via more than two equations.