Fixed 0^0 issue; removed bumping up lower bound in Bracket; added some verbose debugging infrastrure