Added contexts, which are simply a dictionary of dictionaries tracking
current information.

Corrected a number of bugs regarding the interaction of info and typing/expression creation.