Fix special characters (for javascript) escaping in Oberon string literals.
delete unintentionally committed
Extra check for exported types. Not needed in current understanding.