Upgrade to Frege 3.21.500-g88270a0