rename command functions
handles agda-mode:give