Strings

For now, strings have very limited implementation and usability.

The string type exists only in the literal form and can only appear in dbg and assert built-in functions:

dbg!("{}", 42);

assert!(true != false, "a very obvious fact");