Make pass-by-ref arguments const.

Make some of the arguments in rest.cpp, that are passed by reference but
never modified, const to emphasise that.