Alias string types

[Zk2u]

Add alias (same functionality):

• string-ascii to ascii
• string-utf8 to utf8

[friedger]

See https://github.com/clarity-lang/reference/issues/6

[njordhov]

See also #19 proposing string refinement types.