Remove compleated todo note

Mutant passes locally.
Add support for Veritas::Algebra::Extension

Duplicates the document generation with Header visitor somehow.
Will be addressed later.