This directory contains the type inference phase.
