Update projection path structure to prepare representing composite key.
Weaken constraints along with projection path structure update.
Renamed KeyConstraint --> SingleKeyConstraint.
Rename table constraint type names.
Rename constraint type. (SingleKeyConstraint --> ColumnsConstraint)
Bugfix. Weaken too strong derivation and inference rule.
Rename constraint derivation rules.
Add table constraint generalized into composite key.
Rename function which infers ColumnConstraint proof object.
Add inference rules for composite keys.
Weaken constraint for updateValues.
Export composite key constraint type class.
Add TH functions for compsite key table constraints.
Weaken too strong inference rules.
Update TH function for primary composite key constraint.
Extend constraint key into composite key.
Query derivation from specified key.
Export update value indexes logic.
Derivation of typed update from composite key.
Add zipping of projection path.