are hard to translate (integers without a fixed size, lists without
a static length, etc.), a number of \quote{built-in} types will be
defined first. These types are built-in in the sense that our
are hard to translate (integers without a fixed size, lists without
a static length, etc.), a number of \quote{built-in} types will be
defined first. These types are built-in in the sense that our