Add benchmarks with bsearch-like unrolling for foldl.
Split type and traits into two headers.
Add examples.
Move std_* to adapted/.