a type in postgres.sql