Rename orig_type to src_type in semantic_cast(), to avoid confusion with the usual...