All expressions beside Call are now typed.