Term and composed types.