Cpsdef: the default case is now a continuation, instead of a term
Cpsast: improve comment
Cpsllvm: Case translation now handles default case