Dear steering committee

Following discussion on !4419 and !4536, I’d like to offer this proposal for discussion

Simplify type synonym and type instance declarations

I don’t know how to get a stable “Rendered” link, but maybe someone can help me.

Thanks

Simon