add decl of contig_x
add decl of contig_x
add copyright only
incomplete and doomed-to-fail impl of type_contig_x