* AttributeChecker Better error log and speicalize bool

Since lots of types can be cast to bool

* add FIXME comment