Comment by kaba0

Since basically every single type system has escape hatches (casts), yes, I would say completeness is more important than soundness.