box: support downgrading of tuple constraints

This patch allows to downgrade tuple foreign keys to SQL foreign keys
and some tuple check constraints to SQL check constraints. The only
tuple check constraints that can be downgraded are those using functions
with the SQL_EXPR language.

Closes #7718

NO_DOC=already introduced
NO_CHANGELOG=already introduced