[Typing-sig] How to evaluate Forward/Strings Refs