milestone: type checking

• have defined the types relevant for WIG programs;
• have specified a set of type rules for WIG programs (in prose, if you like);
• have implemented the corresponding check for static type correctness; and
• have tested your implementation.

You should submit an e-mail summary of your progress to your TA. You should summarize your progress for each of the steps above. This summary is due on Friday of the week for this milestone. Remember that successfully completing the milestones is a key factor for completing the project, and timely completion of milestones is part of your final grade.