Added more cleveref commands.