Behavior rules

This chapter describes in greater detail the various behaviors of the type system.