Fixing a few issues in Language Specification

Fixes #94.
Fixes #533.
Fixes #611.