updated names of annotation builtins