refactor domain: use @<< instead of !<<, rename @++ to @+, rename @-- to @-, rename !-- to !-; replace nothing with none
implement type-system functions (not complete)
rename @++ -> @+ , !-- -> !- , @-- -> @- ; implement type system functions: variables_with_prefix, copy, resolve, extends
update type domain algebras
merge with origin