Observations

Вот я и чувствую, что эти просторы раскрываются как-то вдруг, как только начинаешь в это дело вникать.

Например, я пробовал было всунуть функторы (и даже сопряжённые), классификатор подобъектов... или, наоборот, попробовать интуиционистскую логику ввести в качестве параметра - но очень тяжело бороться с повсеместным торжеством Boolean. Плюс, народ не поймёт.

А кванторы... Ну да ладно.