unfix
FixModule
FixOps
unfold
EasyRecursion
unfoldIntoFold
EasyRecursion