Primitive Domains
Character strings
Domain String = the character strings from elements of C
(character domain including ``error'')
Operations
A, B, C, ... , Z: String
empty: String
error: String
concat: String x String ? String
length: String ? Nat
substr: String x Nat x Nat ? String