Added example and language design initial description.