This directory contains the type inference phase.