WyC is generating code again.

Note that set and list comprehensions have been removed.  This is to
simplify the overall system.

Also, destructuring in for loops is currently disabled.

The back propagation phase has been removed.