fixes handling of annottee types in Annotated ensugaring