SMS dit: Varieties of constructive mathematics