transform/variance

Added variance checking.
maybeOwner is that override already. It's NoSymbol for NoSymbol, so NoSymbol cannot have a class owner.