Improving closure signatures, splicing and slicing lists, more Maybe expressions