declared several properties for schemes/subschemes, subsets

. IsAffineSubscheme
. IsQuasiAffineSubscheme
. IsQuasiProjective
. IsConstructibleSet