branch are as strict as their parents
better snipets in readme.md
forest _update() copy typechecking by default