Update Poly.lagda