Simplify types, change to recursion depth.
Update README