Implement BayesModel Package in ModelTools

[mehalter]

Finish implementing the internal category theory representation of Bayes Nets using Wiring Diagrams

Implement the BayesModel package as an extension of the Category API where the BayesModel is a decoration on a cospan of finite sets where the decoration creates a valid BayesNet where the objects are the states in the finite sets, and the transitions show the conditional dependencies and associated probabilities.

Add the appropriate category theory definitions for pushout, dpo, pullback, etc. functionality to assist model augmentation, validation, and execution.