Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA