Update: documentation helps for language grammar specification.
Add: a few tests;
Fix: a few bugs;
Update: grammar specification.