Describir: Singular homology theory