This document describes a set of data types and associated algorithms that are intended to make it easier and safer to define and handle