Replace TYPECASE with ETYPECASE.