A complex is a sequence of objects Ci, connected by maps ddCi : Ci →Ci-1 such that the composition of any two consecutive maps is zero.
TODO: more needs to be added here explaining how to used complexes.
The object Complex is a type, with ancestor classes MutableHashTable < HashTable < Thing.