Fix a pre ondition
Rename `BinaryMobilBranch` -> `BinaryMobileBranch'`
Add an annotation for `coll?`
Use `coll?`

Functions that include recursive map seems to be not typable
Fix `filter_`
Use `filter_` instead of `filter`
2.33
2.34 and 2.35