buggy, warningful glue code between our stuff and unification-fd; try 'solutionsFor ty1 ty2' in ghci
remove finished TODO and clear up warnings