Added the type of arguments and return value to function sorts