[fixup] change name of tc/expression
[fixup] change docs of do-inst.
[fixup] simplify numeric comparison.
[fixup] cleanup the Poly? case of do-inst