[kaba0]

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