Issue #447: Introduce interface `Annotated`