Algebraic operating system