Added a positive valuation example to CAElement.list.
Merge branch 'padic_review' of github.com:saraedum/padic-review into padic_review