Fixed two type matching bugs

[EliasC]

This commit fixes two bugs related to matching types:

passive class Foo<a>
  def foo(x : Bar<a>) : a
    x.bar() -- #1 Can't match 'b' with 'a'

passive class Bar<b>
  f : b
  def init(f : b) : void
    this.f = f
  def bar() : b
    this.f

class Main {
  def main() : void {
    let
      x = new Foo<int>
      y = new Bar<int>(42)
    in{
      print x.foo(y) -- #2 Type 'Bar<int>' does not match expected type 'Bar<t>'
    }
  }
}

The first bug prevented matching two type variables unless they had the
same name. The second one prevented correctly matching against a
parametric type whose parameter was itself the type parameter of the
enclosing class.

[albertnetymk]

class Main
    def main() : void
    let app = \(f : a -> b, g:b->c, x : a) -> {
          let y = f(x) in g(x)
        }
    in
      ()

Not sure if it's intended, the above snippets typechecks after the merge.

[EliasC]

@albertnetymk You are right! You showed me this program before, but I forgot to test with it now. Good catch! See PR #205 for a fix.