class error_type redesigned to remove text_arg_type from public interface.
A test for code size comparison added.