improved syntax check for check-satisfied
some Racket-y, mostly focused on 102