add notequal function. add box type to cat. add recursive marking of box contents to gc.