How would you implement types? receive / send make dealing with types incredibly difficult. Also, hot code reloading makes reasoning about types difficult as we

How would you implement types? receive / send make dealing with types incredibly difficult. Also, hot code reloading makes reasoning about types difficult as well. There's been some proposals for Multi-party session types, but none that are practical by any means.