layout: proper names for splitter functions
cabal: added ExistentialQuantification extension
main: appstate example