define-typed-variable-syntax
* add current-var-assign parameter * add example of linear language + tests (Based on @iitalics work in pull request #11)