New predicate for collision detection in bullet world

The first 3 commits are minor...