Removed whiny TODO about exact_typeexprs_equal.