More conversions to Kind terms