Time series implementation questions

Stan allows for arbitrary for loops (in their specialized domain language). Scan is a constrained approximation to for loops (and while loops), because Python for loops allow for too much “magic”. Stan never needed a Scan in that sense.