parse_ty_aux_dep_parse_ty_aux_eq

Definition of dep_parse_ty_aux in Simulations folder, Proof of it's equality with parse_ty_aux from Proto_alpha folder.

Qed. But core refactoring required.