Finished implementation of new ExtrusionLoop semantics