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