Ensures the result of funResultTy is consistent with unification.

The previous version of funResultTy wouldn't return
@funResultTy ANY _ = ANY@ as unification hints, so
the new behavior is less surprising.
Merge pull request #4 from facundominguez/funResultTy-unify

Ensures the result of funResultTy is consistent with unification.