Explore making `data NoScriptDatum` uninhabitable

[Jimbo4350]

data NoScriptDatum would make more sense to be uninhabitable. The current definition's data constructor is used in cardano-cli however we should be able to remove it. Explore this after #1011 is merged.