Add type-safety notes to readme