Support pure and IO low-level bindings

[edsko]

We can take advantage of C attributes here (#67), but we might want to also be able to give the user the option of specifying which functions should be pure or not.