Explain that check constraint can be added outside of table definition
Actually support check constraints in table definitions. Abstract out constraint generation code.