Here it is: we will do some of the actual types of checks. We want to be able to identify that let x: i32 = 3.0; Wrong, but for now we will examine some of the right things. This type of checking is much easier than the full type of inference that we will ultimately need, so this is a soft start.
You can find the source code at codeberg.org/andybalaam/milk and more of my items in artificialworlds.net