Fixpoint and loop constructions as colimits /