improve destruct_alg
Feature wishes for improvements:
- allow user to provide the introduced names, e.g
destruct_alg t as x1,x2
- rename it into something better, e.g.
destruct_term
.
Feature wishes for improvements:
destruct_alg t as x1,x2
destruct_term
.