Coq: add some missing autocasts, avoid unnecessary patterns in lets

The former is useful when a bitvector variable is cast to an equivalent
length, and the latter is easier for Coq's unification to deal with.

0 files changed, 0 insertions, 0 deletions