Notes on building the language.
Numeric operators used to demand both sides match. Now they carry the argument type and the result type, so Int * Float works and so does Length * Length = Area.
