Word16 package:bv-sized

Construct a BV from a Word16.