\chapter{The type system} \label{types} Type checking is much the same as in the previous system. This chapter has not yet been written.