Colored local type inference