Introduce new inference scheme: variables are now instantiated with at most one type, and region variables are introduced as needed