[polyml] Re: BasicXXXFun vs XXXToolsFun