Changed formatting to fit code into 80 columns
Removed commented code and use of 'auto'
Removed PythonObjInfo and PythonObjVec 'typedef's
Changed name and formatting of 'RegisterPass' variable
Added SAGEExpr class for symbolic expressions
Added SAGERange class for symbolic ranges