use hyphens in the example define-judgment-forms for STLC
add test case for 56a313caa

Also bring gen-tests.rkt downn below 102 columns wide