Started to define Polynomial type