* only arguments have arg_infos, not return types and instances so
  type_info is much better to pass.  In fact most API that took an
  arg_info simply converted it to a type_info
* In the case of instances for methods we don't even have a type_info.
  Since all instances are interfaces, we also attach the interface_info
  to the interface cache