Finished mechanical translation of types