[SMT-LIB] Built-in name for Booleans

[Nikolaj Bjorner]

The SMT-LIB 1 standard does not include a built-in name for Booleans.
Is there a known plan for a name: Bool, bool, Boolean? 
(FWIW, Z3 uses "bool", making nice injustice to Mr. George Boole).

Thanks,

Nikolaj