add unifiable to top level import, fix example