Add RFC for tweaked variance inference rules

Inspired by @edwardw's PR mozilla/rust#12828, this RFC proposes a small change to the behavior of variance inference if a type or lifetime parameter is unused. The goal is to more accurately capture user's intended behavior.