feat(library/data/int): replace int definition with structure and better computational behavior
fix(tests/lean/interactive/coe): adjust test to reflect changes in the standard library
fix(tests/lean/interactive/coe): adjust test to reflect changes in the standard library