Would it be possible to let us do arithmetic on booleans? It would be very useful to be able to treat the boolean True as the integer 1 and the boolean False as the integer 0.
Yes it should be possible to add a ludeme that converts a boolean value to an integer, e.g.
(int <boolean>)
Or even perhaps allow boolean values to be passed as arguments to integer parameter and silently do the conversion. This would be equivalent to making <boolean> a clause of the <int> rule:
<int> ::= <boolean> | all the other int functions...
I just realized that the language basically includes the first option already: There are conditional integers. I didn't know about this, but have thought about it a couple of times. When I finally checked I was pleasantly surprised to see it was already there :)
I still think it would be neat to be able to plug a boolean directly into an arithmetic formula, though. But it is obviously not as pressing as I thought.