set variances in TypeVisitor cos they are needed by RefinementVisitor