Translate Internal-types.md