check-satisfied: documentation for both htdp-langs and test-engine
check-satisfied: added feature to the htdp languages
check-satisfied: added tests for test success and failure; todo (in general): error message checks
check-satisfied: the basic functionality, the display in repl and test suite gui, plus the communication among these modules; missing: language constant
how to add a new check- feature to test-engine