:load T22817
:info BoolKind
:info FalseType
:info TrueType