New completely re-written algorithm

- Now recursive, should thus be easier to integrate as a Loader if needed
- More cases should be covered (especially for inner bindings going out of a composite)
- Activated dormant test cases (see above) that couldnt work with the previous algorithm
- More comments to improve maintenance