export TinyVector with short type, too

I'd like to be able to convert tuples of numbers into TinyVector's with shorts