feat(library/standard/int): define le, prove some theorems

Prove interaction of le and add, no interaction with sub, neg, etc. yet