cg meeting 2021-03-02 (zulip thread)

Talked about how to implement the way to discard unused substs decided on in the 2021.02.16 meeting

Change ConstKind::Unevaluated to make the "default substs" optional.

Requires us to be conservative for type flags which could be changed because of this. Hopefully not too bad perf wise.