@@ -206,7 +206,7 @@ actuallyUnify context@(Context _ _ firstDesc _ secondDesc) =
206206 unifyFlex context secondContent
207207
208208 Var Flex (Just super) _ ->
209− unifySuper context super secondContent
209+ unifyFlexSuper context super secondContent
210210
211211 Var Rigid maybeSuper maybeName ->
212212 unifyRigid context maybeSuper maybeName firstContent secondContent
@@ -289,11 +289,11 @@ unifyRigid context maybeSuper maybeName content otherContent =
289289-- UNIFY SUPER VARIABLES
290290
291291
292−unifySuper :: Context -> Super -> Content -> Unify ()
293−unifySuper context super otherContent =
292+unifyFlexSuper :: Context -> Super -> Content -> Unify ()
293+unifyFlexSuper context super otherContent =
294294 case otherContent of
295295 Structure term ->
296− unifySuperStructure context super term
296+ unifyFlexSuperStructure context super term
297297
298298 Atom name ->
299299 if atomMatchesSuper super name then
@@ -388,8 +388,8 @@ atomMatchesSuper super name =
388388 Var.isPrim "String" name
389389
390390
391−unifySuperStructure :: Context -> Super -> Term1 Variable -> Unify ()
392−unifySuperStructure context super term =
391+unifyFlexSuperStructure :: Context -> Super -> Term1 Variable -> Unify ()
392+unifyFlexSuperStructure context super term =
393393 do appStructure <- liftIO (collectApps (Structure term))
394394 case appStructure of
395395 Other ->
@@ -586,7 +586,7 @@ unifyStructure context term otherContent =
586586 merge context (Structure term)
587587
588588 Var Flex (Just super) _ ->
589− unifySuper (reorient context) super (Structure term)
589+ unifyFlexSuper (reorient context) super (Structure term)
590590
591591 Var Rigid _ maybeName ->
592592 mismatch context (Just (Error.flipReason (badRigid maybeName)))