Finishing up 8b. There is an issue of type checking global variables. I
will look into it tomorrow.