Lucas Kramer

Minor note, if we add this I think I'd prefer `local monoid` and `production monoid` over `monoid local` and `monoid production`. Seems nicer to put the visibility first, like `public...

I guess just nuking the generated directory with `--clean` doesn't really fully solve the problem, since we would then have another instance of "build fails without --clean". We also don't...

What does "ECS-style" mean? Is the goal of this to reduce memory usage? Or performance?

The build bug here is now fixed in #670, I think the only task left here is supporting type parameters.

Well, there are a bunch of syntactic ambiguities (and potential confusion) if we have both `Decorated` by itself and the syntactic sugar `Decorated a with i` as type expressions. I'm...

Current status: I've made the changes to implement the new semantics, which was relatively straightforward. I'm currently in the middle of refactoring Silver to be able to build itself again.

A couple notes from doing the refactoring in Silver: * We should possibly consider adding a variant of locals/prod attributes that aren't decoration sites (and thus don't allow inh equations)...

The above is still pretty much the plan, except that unique references are being removed entirely, and the syntax for the `Decorated` type is not changing.

As was discussed offline about a month ago, removing `ntOrDecType` still leaves the issue of resolving unspecialized `InhSet` type variables. One option is to introduce another "magic" type that forwards...

Ugh, just ran into this again and spent a bunch of time trying to diagnose a mysterious case of terms with different types being compared for equality, which happened after...