Commutative loops (algebras with a cancellative commutative binary operation and an identity)