bv-sized

This module defines a width-parameterized bitvector type and various associated operations.