A Turing complete probabilistic programming language embedded in Julia