update examples to be correct
beef up examples in prep for documenting constraints
add new required ns
rename init-schematode! to init-schematode-constraints!
beautify constraint exception strings slightly
add several examples
document constraint features
emphasize :enforce in user/tx, instead of :warn
fix typo