Exploiting Modularity, Hierarchy, and Repetition in Variable-Length Problems