Chaning Values in TypeSystem