Fixes #9. Now schedules get auto-extended lazily when they are accessed