Add a feature to mark external library functions with types of return values and other attributes

[dours]

For example, if a function returns an int, we should additionally mark whether the int may be 0. Same for an empty string.

Use the feature to add annotations for a dozen of library functions.

Propagate the annotation to the generate Unknown objects in EO