Added a comment explaining skolem escapes in unifyType