Fixed bug with unary minus metamethod for AD dual numbers.
Using an example with variables coupled via factors demonstrates the effectiveness of HMC-based methods over random walks. T3 seems to be doing pretty well, too.