Make RenumberInt Tree/Logic use strict State monad.
Fix selective traversal issue with RenumberInt-Logic.
Add 'display' to dump result to console.
Add (unused) memo-elim rewrite.
Add loopbreaker latex fragment.