More annotations for basic types.