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