Change: the handling of @type_holder<type>;
Fix: a minor bug in matching value to @type_holder<type>;
Fix: a minor bug in moving a value to a variable of type @type_holder<type>.
Fix: a minor regex compiling bug.