Spec some methods for TK.Data.Type
Implement specced methods for TK.Data.Type