Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store