Managing Structural Information by Higher-Order Colored Unification