Title: Sanctuary in Types and Symbols