Add some known type decls to INTEGER-BIT-VECTOR and BIT-VECTOR-INTEGER