just beautifying the comments
new way of dealing with conjunction and disjuntion

a root method, defaulted and overloaded for specialization,
a fork method, passing a flag to choose between specializations.

usings tags, added also the tag_type structure to get the
tag of a vectorization.