The mechanization of our ongoing work on type+example synthesis with big-step hazelnut dynamics - View it on GitHub