[Algebraic] Add comparable algebraic contexts

[lounres]

Sometimes there is need in comparing numeric values (that obviously must depend not on type of the numeric values but on algebraic context of the values).