Marking variables as structural / not structural.
Abstracting away the inner loop of MH.
Abstracting away trace initialization by rejection sampling.
LARJMCMC. Currently testing it out to make sure it's bug-free.