More tests, Prelude is pretty much covered. Added exports for function creation/application.