Draft: Dep parse ty eq refactoring

I changed {struct = stack_depth} in Proto_alpha (used to be node_value).

simpl, rewrite A, destruct wouldn't work.