what is type saftety in dot net?