[FEATURE]: Track constraints in the type system

### Describe what you want

It would be a nice to have for strict type checking

```ts
import * as DP from "drizzle-orm/pg-core";

export const Participant = DP.pgTable(
"participants",
{
id: DP.uuid("id").primaryKey(),
name: DP.varchar("name", { length: 500 }).notNull(),
surname: DP.varchar("surname", { length: 500 }).notNull(),
email: DP.varchar("email", { length: 100 }).$type().unique("email_unique").notNull(),
bio: DP.text("bio").notNull(),
},
tb => ({ uniq: DP.primaryKey({ columns: [tb.id], name: "no_homonymies" }) }),
);
export type ParticipantInsert = DO.InferInsertModel;
export type Constraints = (typeof Participant)["_"]["config"]["contraints"];
// ^ ['email_unique', 'no_homonymies', '']

```

Such that in case of insert/update I can discriminate between different constraints and have TS validating my logic

Would this be possible and, hopefully, easy to implement?