Implemented compare_exprs(), added type annotations