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