Make Rebinder look inside types for expressions as well.