Implemented Conj::Substitute(). Added unit tests.