define

Define a new type of annotation.