Laurent Rineau
1c5454dcbe
The difficulty is to detect/define which constructions are "trivial" and must not be wrapped into `Converting_construction`. Otherwise the use of `Cartesian_converter`, that uses trivial constructions itself, can lead to loops and infinite call stacks.