additional bounded -> finite changes
sort when prining tree; unSKIP doctest
only print non-None keys
use two symbols
Merge pull request #8113 from smichr/bound2

additional bounded -> finite changes