[polyml] Windows programming in Poly/ML