Update to support new syntax for ordered overlapping type families
Wibbles while supporting "type family where"