Not so narrow. I'd say it may contain all mathematics that is computable, which is a rather big subset. Essentially all constructive mathematics.

That's a lot of stuff. For example, probabilistic programming is concerned with all computable distributions. This is the most general class of sampleable distributions.