D.Core.Types: export transfFromAnnot and transfToAnnot