Fix #6

Mutually-recursive types weren't being inlined properly. This is
probably a little overzealous now, as every type within a
strongly-connected component of size > is now Mu-ified, so I might
optimise this a bit later.