added doc for add_factorized_product
update docs for class IMap