Update doc.
Added language as argument to high level abstractions, and updated tests and demos.