sml: fix typo in Documentable concept's documentation
cpp: add Documentable and Nameable concepts and base class