It would be really handy to know that `$1` is being used as a non nullable value
To push back in a different way, how exactly would this be useful?
The system catalogs are the best place to get all the various information about a relation, including any and all constraints. Data type info via protocol, yes, but constraints seems a whole other level of bother.
