Fix scoped type variables for expression type signatures