Со школьной математикой проблема не в том, что она недостаточно концептуальна, а в том, что она не является прикладной.
То есть, если заменить всю эту планиметрию на простейшие факты из комбинаторики, статистики, дискретного теорвера, элементарной теории чисел, вычислительной линейной алгебры, теории графов, то было бы гораздо лучше. Насколько я понимаю, все это сейчас преподают в матшколе.
В математической школе все это надо, конечно, заменить на пучки и когомологии. Сейчас же получается, что в матшколе учат тому, чему должны учить в общеобразовательной, а в обычной вообще откровенному бреду.