Compute correctly selector types, improve pretty printing of ty vars