Functional Unification Formalism