Compute fixpoints by memoizing ⊥ & evaluating.
Remove HMRLeastFixedPoint.{h,m}.
Merge pull request #70 from robrix/simplify-fixpoint

Simplify fixpoint