A low-level probabilistic programming framework embedded in Terra.