update type-nat-solver to work with wip/tc-plugins-els branch of ghc