Added include directive to the unit test for dependency testing.
Minor formatting change in expression traits.
BinaryExprTrait now wraps Left and Right types in ExprTrait.
MultContEngine and ScalMultContEngine now use the correct template parameters for ContEngine.
Fixed an error where the incorrect template parameters were being used for ScalMultExpr in the ScalMultEngine constructor.