Annotate types.