Upgrade Frege, fix issue#2
Merge pull request #7 from Frege/dev/1.0.0-snapshot

Upgrade Frege, fix issue#2