Extend and refactor tests; get rid of LIST*
Work in progress on full lowering pass