Added exceptions.
Added relational operators and added get_variables and is_valid. Added tests to test relational ops and get_variables and is_valid.