Use spelled out names for CRAM and CRRL instructions to stay consistent with the rest of the document

Author: francislaus

sail_latex_riscv/commands.tex

@@ -5583,13 +5583,13 @@ \subsection*{Notes}
 
 \newcommand{\sailRISCVfclCRRLexecute}{\saildoclabelled{sailRISCVfclCRRLzexecute}{\saildocfcl{Integer register \emph{rd} is set to the smallest value greater or equal to \emph{rs1}
 that can be used as a length to set exact bounds on a capability that has a
-suitably aligned base (as obtained with the help of \hyperref[sailRISCVzCRAM]{\lstinline{CRAM}}).
+suitably aligned base (as obtained with the help of \hyperref[sailRISCVzCRAM]{\lstinline{CRepresentableAlignmentMask}}).
 
 }{\lstinputlisting[language=sail]{sail_latex_riscv/fclCRRLzexecute33a689e3a631b9b905b85461d3814943.tex}}}}
 
 \newcommand{\sailRISCVfclCRAMexecute}{\saildoclabelled{sailRISCVfclCRAMzexecute}{\saildocfcl{Integer register \emph{rd} is set to a mask that can be used to round addresses
 down to to a value that is sufficiently aligned to set exact bounds for the
-nearest representable length of \emph{rs1} (as obtained by \hyperref[sailRISCVzCRRL]{\lstinline{CRRL}}).
+nearest representable length of \emph{rs1} (as obtained by \hyperref[sailRISCVzCRRL]{\lstinline{CRoundRepresentableLength}}).
 
 }{\lstinputlisting[language=sail]{sail_latex_riscv/fclCRAMzexecute33a689e3a631b9b905b85461d3814943.tex}}}}