Spell: Statistical programming languages