Rename `bool` to `boolean` in equations
Add a new preference `default_integer_dtype` and rename `default_scalar_dtype` to `default_float_dtype`.