translation type decls