[Typing-sig] Re: Allowing types being created from function calls