- Fixing a bug in which it was expected to prune.
- Introducing again the pre-requirement between cst/ast op and the
required input type. However, the output will not be computed at that
point, but later on when the ConstructorExp is analysed . It's checked
that some type will be constructed in any op.
- Opposite computation is sequenced