String Typing

There are many cases where information is packed into strings, which requires proper typing. The language layer should provide static typing methods to allow for more detailed string type definitions and classifications.