Update typing of aggregate functions along with specifications.