Good work! The "pointers as capabilities" idea makes it much clearer to me what "memory safety" means. Can we have a similar article about "type safety"? I thin

Good work! The "pointers as capabilities" idea makes it much clearer to me what "memory safety" means. Can we have a similar article about "type safety"? I think many people would benefit from knowing the exact relationship between type safety and memory safety, and whether one is a subset of the other.