Basic formula realization
Error handling
Adds mu realization
Cleaning up parity test
Refactor tests to accept realizations
Test realize directly
Adds tests for transition realization
Adds generators for models and formulas