Typing Turbo Snails