+ Add case typechecking.