integrate reversible reduction into follow, some typing improvements

[frabbit]

i 'm working on a new patch will complete it next weekend, it looks promising ;)