Catriel Beeri Pls/Winter 2004/05 types 65 A type-checking algorithm The task: (since we start with empty H, why is the goal not just E?) The rule set.