OX is a reduced version of LOX in order to demonstrate type checking with Typir for primitives, functions and operators only.
For examples written in OX, look at some collected examples or the test cases.
Start experimenting with OX by executing the "Run Extension (OX)" launch configuration.