README.md: Adding some notes
TypeDescriptor.cpp: Just noticed, the sentinel value in type descriptor
is negative, therefore the type should be negative as well.