Make it an error to use \autoref

Even if \autoref would produce the same output as \cref today, we might decide to change the \cref output in the future, and then we would most likely not remember to also update the \autoref output.

preamble.tex

@@ -141,6 +141,7 @@
 \newcommand{\bibitemtitle}[1]{\emph{#1}}
 
 \usepackage[nameinlink,noabbrev]{cleveref}
+\def\autoref#1{\errmessage{You are not supposed to use \autoref; use \cref or \Cref instead.}}
 
 % Environment for definitions.
 \usepackage{amsthm}