We realize the last time that our type examiner needs to switch from just saying “yes” or “no” because of whether our program is good: we need to hold the type of information we are working on, so we can use it for error messages and maybe even in the evaluator.
You can find the source code at codeberg.org/andybalaam/milk and more of my items in artificialworlds.net