Default methods for generic impls at different types can behave incorrectly

[msullivan]

Because of a bug in make_mono_id, it is possible for default methods in two different instantiations of a generic impl to share a monomorphized functions incorrectly. This results in generating incorrect code.

Part of #2794.