Introduce IncompleteDistribution (in the place of GenerativeFormulation) and IncompleteFormulation to simplify generic codes