Made transition verification case insensitive
Made the command system more robust, and added an exit command