Operators: Support cast to subtyped objects. Casting a non-object value to a subtyped object now causes the program in the subtype to be cloned with the value as the single argument.