Automatically clean up bool type.

The C interface treats the bool type different from BV and array types.  The later are automatically deleted, while the former isn't.  This commit changes the C interface in order to automatically delete the bool type as well.