Added get_lax_type_of_svalue. Used for constant:s. int(0..0) -> zero int(X..Y) -> int string(X..Y) -> string This was done to remove some code duplication, and as an added feature constant x = "foo"; now allows you to assign "f\xfff" when inheriting.