A big push forward, I am about half way done with explaining the type
system (#1).