Why is there no Bool Type?

Because the check is simply first-second so if the difference is 0 they're equal.
In higher level languages it's switched because it's more logical to have 0 or Null equal false for numbers and objects.