Add pol-theories.md
Conclude merge