[polyml] interfacing object oriented libraries