Method fixup

ir/type.cpp:308–310

}

void VoidType::fixup(const Model &m) {
  // do nothing
}

pair<expr, expr>
VoidType::refines(State &src_s, State &tgt_s, const StateValue &src,