Extend constraint language
React typefamilies. No closed families.