We should have a boolean type which is either true or false. These can be used in piecewise functions, and later, in plotting inequalities.