Cool!
Regarding reduce_sum, where can I find its type signature? I have been using the stan-functions.txt file in rstan (https://github.com/stan-dev/rstan/blob/develop/rstan/rstan/tools/stan-functions.txt) for the emacs stan-mode (https://github.com/stan-dev/stan-mode). But it hasn’t been updated for a while.