<div dir="auto">I see that Cumulativity is listed as an experimental feature in 2.6.1. Is this "the compiler might crash or reject valid programs" experimental? Or "Cumulativity might make Agda unsound" experimental? How much can I trust proofs that use cumulative Agda?<div dir="auto"><br></div><div dir="auto">Thanks!</div></div>