Doc typos
Add Criterion benchmark
Add mapTyped, reValue, reType to API