add tests/todo/TypeAlias.hs

this crashes because `Bare.tyCompat` checks for syntactic equality
without expanding type synonyms, so we get

    Bar Int /= Foo Int Int

even though `Bar` is defined as `type Bar = Foo Int`