Rewrote the definitions of generic 1-HIT so that we do not introduce paths for regular W-types.
Updated the examples to reflect the last changes.