next: move all queries from Program and SSA/Types into Visitor
removing SSA.Types, fold code into Visitor.hs
nuking more every*
everything in second half of Visitor.hs -- refactor push into Hoist.hs