Remove type error cases from decLang semantics

The only effect on the proofs was to render some strip >- simp [] cases
obsolete.