box2d object typeid, contact filter, destruction callback