Unified Typing Principles

This section introduces Unified Typing Principles.