Big update on the language definition: identifiers, strings, booleans, control flow.