Upgrade Frege
Merge pull request #9 from Frege/dev/1.0.2-snapshot

Upgrade Frege