Forgot this file
Simple test cases for the rule-derived expression type checker
Type checker that uses the rule-derived expression typing function
Cosmetics
Cosmetics
Forgot to register some error messages and corrected text of type mismatch message