add Kernel#evalb