Chang loop representation to no longer be a Body.

It is now an Exp, and is let-bound like everything else.  In time, I
will make it even more similar to SOACS.