finished L5 (lambda lifter), at least to the point where it needs to be tested.