fixed the result contract of message+check-box (it was missing the second value) and then did a bunch of other minor contract tweaks to get rid of false/c and one-of/c
fixed the result contract of message+check-box (it was missing the second value) and then did a bunch of other minor contract tweaks to get rid of false/c and one-of/c

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket