Use correct type mapping for bools

Mapping from `bool` to `bint` was giving me conversion errors.

This patch uses libcpp.bool instead, which works for me.