Naming proposition for expl of transformations with arguments #191

This puts explanations on goals generated by some transformations with arguments. Ideally, no goals should be without explanations.