Introduce new terminal property, ``kind``