Fixing the fixpoint operator to correspond to Pierce's.
Merge pull request #12 from tk407/FairFork

Fixing the fixpoint operator to correspond to Pierce's.