Handleing Symmetrization Option

[ccoffrin]

Instead of having symmetrization in the formulation flag, all learning methods can return a DiHypergraph then calling a symmetrize function could turn them into FactorGraph. Consistent return types helps the compiler optimize the code.