Solve unguarded recursion with the fixed point algorithm

[mniip]

Some of the unguarded recursion (involving monotonous connectives like allOf and anyOf) can be solved with the same algorithm we have for fixed points in FormulaF, except this time we're looking for least fixed points (?), so we substitute false.