Typing: Fixed a bug (in mgu)