feat(library/algebra/order): begin theory of orders

feat(library/algebra/order): begin theory of orders