Introduce Bool type