Reverted some unnecessary changes. Open topic: User-facing functions
Reverted some unnecessary changes. Open topic: User-facing functions

- Need to readd some of the user-facing functions whose type signature I
could not figure out and change the others to a readable signature.
MarkusBarthlen/IdrisSqlite