Cleaned classes.py to make it more 'lint-friendly', made the main helper functions for the translation Boole -> ineqs