Type system

The type system of OXPL will be static and strong.

Primitive types

The primitive types are the most basic ones.

Composite types