Began implementation of symbol correction interface

Includes implementing method for EXSymbol to return the most likely
symbol, modal ViewController to show symbol info, and appropriate
methods to start the lifecycle of said modal ViewController.
Continuted implementation of symbol correction.

See previous commit for what happened. Forgot to stage this for that
commit.