The trouble with that is ambiguity in the parsing, I think. Right now the `type-case` macro just installs the last expression as the body and the others as patterns. To put in an internal definition context, it'd have to know where the patterns end (unless we put the patterns in parens).