This directory contains code to convert type-related declarations to
 definition form.