Don't enumerate names in SSA::Module, they're already in SSA::Function.
Don't inspect void values in SSA::Constant.
Inspect Void as void.