[case-match-type-res (map (lambda (x) (check env x))
(map car (case-cases x)))]
[case-match-types (map cadr case-match-type-res)]
[case-expr-type-res (map (lambda (x) (check env x))
(map cadr (case-cases x)))]
[case-match-type-res (map (lambda (x) (check env x))
(map car (case-cases x)))]
[case-match-types (map cadr case-match-type-res)]
[case-expr-type-res (map (lambda (x) (check env x))
(map cadr (case-cases x)))]