unify declarations