Add specs for TK.Data.Type