Added checkbox module, state navigation for mail. Added new type errors.