Class UnificationTypedExpression