Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs