Correctly handle function application and update example program

The latter by updating/adding some prelude modules