Add dynamic cast and friends.