My point is that if Go was properly formalized as it should have been all along, this would be a lot easier.
These past proposals are needlessly informal---running the risk of missing any important details. For future proposals, I highly recommend the use of judgements / a sequent calculus to formally specify the type system.