Fix Frege/try-frege#12
Upgrade to Frege 3.21.500-g88270a0