Formal def, and polynomial def
Add wrapper for easier feedback
Wrap up polynomial theory