> О великий погромист объясни недалёкому человеку почему для определения "автоматически"
> определяемого возвращаемого типа в шаблонных функциях используется столь изящный синтаксис
> в котором сам погромист указывает как этот тип определить

Потому что в C++ система типов не позволяет прикрутить полноценный вывод типов типа Хиндли-Милнера в ML-подобных языках, а обсуждение реализации своего варианта еще затянуло бы принятие C++11. В C++14 ты, впрочем, сможешь написать что-то типа
template<...>
auto foo(...) -> decltype(auto)
{
    // произвольно сложное тело с произвольным количеством return'ов
}

> или почему
> функциям необходим constexpr для того чтобы определить результат во время компиляции?

Определить результат можно и не во время компиляции. constexpr просто дает компилятору понять, что ты требуешь, чтобы результат можно было определить во время компиляции. Если захочешь функцию в аргументах темплейтов юзать, например. Требовать этого от каждой функции — бред, а с раздельной компиляцией по функции невозможно сказать же, вычислена она в компилтайме или нет.

> И в конце концов почему у с++ такой гениальный и простой
> синтаксис для работы с шаблонами?

Что именно тебе не нравится?