Reviewed-by: darcy
Types.rewrite quantifiers should cope with captured type-variables properly Reviewed-by: jjg