Due Wed Feb 28 at 11:59 PM.

Finish the type checker for blase0.

All errors should be reported by writing an informative message to System.Err. The type checker should not terminate on errors.