cleanup
cleanup of error messages, adding some documentation
cosmetic changes to ck-lang
removing lhs/rhs abstraction from substitutions for now
added a prt to the example in ex.rkt to see how packages print out
some racket-izing of fd constraints
racket-izing of ck
ck is now much more racketized