Added latex stuff. Bug fixes for quantified variables. Added topological
sort for future isomorphism prevention.