pseudocode: use true/false consistently for boolean values

- Some operators were using True and False.
- Document the use of true and false in the definition of
  the boolean number format.

Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: Ic4c16c8527d46ca01d22e3c70c5371821a726df8