module Bool

A module for boolean type-checks.