proper types for GFF