Update doc/semantics to document newly added scala.Symbol support and missing charset and StackOverflowError