Add explanatory comment

Fixpoint.hs:
Add explanatory comment.