Special case for `svFromInteger` at bit width 0. Fixes #563.
Special case for `svFromInteger` at bit width 0. Fixes #563.

This change ensures that `fromInteger x : [0]` is concrete,
even if `x` is symbolic.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol