Fix

Fixpoints for recursive closures and miscellaneous fun.