heavy refactoring of doctags implementation (and certainly more stuff). WORK IN PROGRESS \!