fix: examples and doc for bimodules.lib