We should have a `for` loop primitive that takes a `program` parameter for a loop body and accepts variable names or literals for loop control.