Comments.
Rename homomorphisms builders.
Factorize type common to saturation_sum and saturation_intersection.
Remove LIBSDD_ATTRIBUTE_PACKED where it's not very useful.
Rename values_function to function.
Don't include reordering strategies by default.
Headers includes cleanup
Documentation.