@kavedaa Proposed something very similar to this in the other thread (Proposal To Revise Implicit Parameters)! The two meanings of context you described align pretty well with the context and derived keywords I proposed there.
@kavedaa Proposed something very similar to this in the other thread (Proposal To Revise Implicit Parameters)! The two meanings of context you described align pretty well with the context and derived keywords I proposed there.