Typing changes for reactive functions