Add list type signatures and case expressions to the types
Implementation of sum types (specifically, lists at the moment, but the code should be fairly general)