Adding a first version of the typed fusion algorithm