[polyml] Smackage changes for Poly/ML