case wants cases to be in same order as they were declared

[davidweichiang]

This currently doesn't compile:

data bool = false | true

define not: bool->bool = \b: bool. 
  case b of true -> false | false -> true