[WIP, Pre-RFC] statics inside <...> and fixing unsoundness bugs

You already have two proposals (1, 2) which involve function calls expanding to an expression and the implicit creation of a static (or more).

I wouldn’t mind removing Any completely, though.