Finished def list lowering