ECO mapping update
convert Notation::value to C++ style code w. iterator (and add
additional checks including range checks).