more work on fixpoint conversion (still not compiling)

next task: semigroup/monoid instances for RTrees?