Put homomorphism trait in its own file.
Factorize locals targeting the same variable in a composition.
Merge branch 'master' into linear_allocation