loosen the type of ExerciseTemplated.setup in order to avoid upcasts

It's a very small change but I like to break up code reviews into small independent parts. If you're fed up with merging pull requests I can make larger ones.