Add pseudocodes for struction and general fold.
Add bnb algorithm description.
Fix code snippets.
Apply fixes.