Title: Varieties of Constructive Mathematics