Okay, I finally convinced my partner that making a table named 'circle'
and dropping the type 'circle' to compensate is just a bad idea. We're
going to rename the table 'circles' and restore the 'circle' type. Could
you give me the psql command line to restore the circle type?
Thanks.
-Tony