Added Euclidean, containing polynomials with addition and multiplication as an instance of Ring. Still need to add euclidean function and division.