class Contracts::Builtin::Bool