Consistency in how to format types

There seems to be missing a specification on when to write e.g. bool and when to write `bool`.
The PR only contains two obvious corrections. 
There are more in there to consider.