What Dynamic Typing Is For