Varieties of Constructive Mathematics by