Merge pull request #13 from powerist/constraint

Add PrintVar() function to sdn-constraint.h.
Delete Expression class, and move subclasses of Expression to under Term.