Describir: Varieties of constructive mathematics