A Benchmark for High-level World Modeling and Long-horizon Procedural Planning - View it on GitHub