Fix test suite with new interface of modules
Fix documentation
Add annotation in equal function