Add explanatory comments to Fixpoint.hs