Introduced the MTSet constaint type. Problem: requires UndecidableInstances