refactorings
moved Characteristic classes to this project
refactorings
fixed problem regarding getting conditionals from a case statement
Refactored Characteristic class into ExpressionCharacteristic and
PredicateCharacteristic