Add a rough specification of the language
Add Common.index_of
Update abstract syntax