[polyml] Towards Poly/ML 5.6