Varieties of Constructive Mathematics