applied mgu to resulting type in operators