1.0.23.1: declaring the type of a bound variable gives :DECLARED as LEAF-WHERE-FROM