Analyse types to generate compile-time json validation functions for PSQL.

Defines type as understood by SQL.

return the column made unique by a UNIQUE(col) constraint or the empty string(.

Constraint is an arbitrary constraint Enums value, defined as #<TypeName>.<VarName> are replaced by their content.