[polyml] Recursive type definitions resolved well enough for me.