Added literal's unit tests, normalize pow *,x -> *^x,1 TODO: poly.==
Module directory, added poly.== and [monomial].sort