Revise language syntax and improve documentation