Pre-SIP: Custom dependent operation types

[soronpo]

@jeremyrsmith

I guess one challenging thing is when to expand MyType – you’d only want to do that when the type argument becomes concrete.

It will be the same as the internal compiletime.ops evaluations, which indeed occur where the argument becomes concrete.