agile: update Consider renaming SML
manual: update the sml and c++ backend sections
agile: add Tidy-up sml_to_cpp model to sprint