Annotate basic types

This PR adds annotations for some atomic types (strings and numbers).