Stav dette: Varieties of constructive mathematics