Describir: Weak commutativity and finiteness properties of groups