support general recursive syntax

[sfultong]

If a converter from general recursive syntax to fixed point form is implemented, we can get rid of the unsized recursion triple ({test, fixable recur, base}). Obviously co-recursion will be tricky, but probably possible. Co-recursion support isn't necessary for this issue.

[sfultong]

Same thing applies to mutually recursive definitions as corecursion.