Added "Typable premise boxes" user story. And spell checking. (Nick Spear and Tyler Young)