Return types for functions are now checked.