Some renaming

The kingD is confusing, and to call Bound t is not so obvious to read.