Added Implementation Details and Language Specification sections