\chapter{Type Environment}
\label{env-chap}

Talk about the type environment data structure. Pull from your presentation.