Began implementing lowering of abstraction lists