\newcommand{\note}[1]{\marginpar{\textcolor{red}{#1}}}
\newcommand{\lltype}{\emph{lltype}\xspace}
\newcommand{\ootype}{\emph{ootype}\xspace}
\renewcommand{\note}[1]{{\bf\textcolor{blue}{#1}}}