typing can get extreme to the point where it becomes proof based typing. So I know what you mean here. I've lived through it and done it. In general types outw

typing can get extreme to the point where it becomes proof based typing. So I know what you mean here. I've lived through it and done it. In general types outweigh no types EVEN with the above.