Added writeup discussing possible avenues for theoretical analysis of EC
Implementation of combinators for construction of undirected graphical models