Fixing some typos in docs and adding operators to language description