Isn’t this proposal less generic than the one about views (Views TZIP)? Assuming we have views I can register a constant c named n of type ty by originating the contract parameter never; storage unit; code {CAR; NEVER}; view n unit ty {DROP; PUSH ty c} and then I can access it by calling PUSH address "KT1.."; UNIT; VIEW n unit ty or am I missing something?
