Add support for transforming lists
Some stuff can be thrown out
All operators must have explicit bodies