$I wanted to make blockchains a first-class programming typ…

$I wanted to make blockchains a first-class programming type, to allow things like versions of a type, for example:
https://twetch.app/t/74a46dd58a06e6d9fb9474fc788465bc7a4b75ffbe8360741feb9fedbc205e18
https://twetch.app/t/f5f13a80e15940ef22fe529dfd2e6929d20e8147ce958816f98eb3064be5180a