Unify the type of the func var with the funct type.
Unify the type of the func var with the funct type.

    When we had an expression tree like this:

        Call
            f : @$a
            args

    We would generate a function type '(@$1,@$2, etc... -> @$n)',
    but we wouldn't unify the called object's '@$a' with it, so
    we could get spurious error messages.

    This patch fixes that.

oridb/mc,oridb/mc,oridb/mc,8l/myrddin,8l/myrddin,oridb/mc