constructive-algebra-0.2.0: A library of constructive algebra.