Stack operations of Reductionops in Reductionops.Stack
app_node, stack, state printers
Reductionops.Stack.app_node is secret
Reductionops.Stack.strip* are ready to deal with Shift
No more translation array <-> list in Reductionops.Stack
Fix coqide build under MacOS
Create Debug Unification option

to dump states that Evarconv.eq_appr_x tries to unify.
Dead Code elimination
Simpl_behaviour becomes Reductionops.ReductionBehaviour

syntax mentionning simpl remains
cbn understands Arguments

 (excepts list of args that must be constructors
fixup complement Fin
make coqide-binaries does not build coqtop anymore