Add even more of the documentation for the public API.
delete commented out code
add strictness annotations to internal data types.
benchmark
performance measure