Tai-Chi64 -- TAI64[N,NA] labels for Scala