refactor(library/standard/data/int): split basic.lean into basic.lean and order.lean