* Add documentation for high-level language
* Add simple testcases for all features