Fix #55.

GHC weirdly is inconsistent when reifying classes and their associated
families -- sometimes, the Names change! Now, we look at nameBases, not
Names, when doing kind substitution in method promotion. Icky, but
effective.