Adding support for boolean type in inference.