столкнулся с проблемой "unbound name IsBig", хотя он стоит рядом. только благодаря астральной экстрасенсорике догадался поставить там this,
после чего компилятор метод узрел. это так и должно быть?

class X
   IsBig(ty : TypeInfo): bool 
     ...
   methodn() : void  
     def type4(ty)
        when (this.IsBig(ty.TypeInfo)) 
          ..