For VarInfo, fix merge and allow push!!ing new Symbols#690

mhauru merged 3 commits intomasterTuringLang/DynamicPPL.jl:masterfrom

mhauru/gid-merge-fixTuringLang/DynamicPPL.jl:mhauru/gid-merge-fixCopy head branch name to clipboard