Front end pull request

A collection of front end code which interacts with the TLA suggestion engine.