fix tabs
fix uplevelofdetail for null symm edges
remove boost::heap::priority_queue typedef -- unused