Types

This page is a placeholder. Replace it with your type system documentation.