From skimming the documentation it sounds like, rather than being just another library of utility functions, there's a formal language of sorts under the hood that the programming library "compiles to":

Think of this as the compiler for a PPL: it allows us to divide labor between the modeler and the inference expert.

Or something like that. Someone from the team could no doubt produce a better explanation.