update to build toplevel
Bugfix in Internal+BitVector; Alphabet Docs;

- Docs for alphabet module, added print function for other characters
- Silly mistake in calculating bits set from packed integer (internal.ml)
- bitvector had duplicated cardinal function; should have been width.