Added a transformer for NL.

At the moment, it won't work properly, because the transformer code contains
assumptions that are no longer valid. However, it does not break the code's
ability to transfrom CE.