added ProjectiveVariety, ProjectiveWitnessSet types; weird problem with projectivewitnessset doc node