Add type sig for booleans