@@ -90,7 +90,7 @@ f <| a = TermN (App1 f a)
90namedVar name = UF.fresh $ Descriptor {
90namedVar name = UF.fresh $ Descriptor {
91 structure = Nothing,
91 structure = Nothing,
92 rank = noRank,
92 rank = noRank,
93− flex = Constant,
93+ flex = Flexible,
94 name = Just name,
94 name = Just name,
95 copy = Nothing,
95 copy = Nothing,
96 mark = noMark
96 mark = noMark