Added Genotyping process, removed Variant Filtering. Stats count disjoint pairs/collections; added more disjoint axioms.