RNG for truncated distributions

There is no syntax for it in the Stan language, but you can draw from a uniform distribution and there are some inverse CDFs implemented.