Good portion of language spec done