bool type: as the declaration of the type