making some headway (?) on type inference