Adding docs, fixing APIs

We drop the dump format support -- not useful and conflicting if only
part of the functions can support it (i.e. not memory/1)