rename @++ -> @+ , !-- -> !- , @-- -> @- ; implement type system functions: variables_with_prefix, copy, resolve, extends