drop cleveref: problems with that. We could use this nameref and autoref https://en.wikibooks.org/wiki/LaTeX/Labels_and_Cross-referencing#The_hyperref_package_and_.5Cautoref.7B.7D