Cabal file cleanup
Add strictness annotation
Add last empty line
Add FlipUDSlice type