Making Referential Stability a Type