reverse roots in inequalities; add tests
show failing expression in nonzero
minor code tidy/modify
add filldedent to namespace