constraint kinds
more...
end