Support inferring the type of an expression again.