UJO Types is a lightweight implementation of container types and variants based on the data structure of libujo.