Started with Angluin.process_counterexample; Separated main loop from Lstar in Angluin so that it can be called from outside; Some utils; Some to_latex functions for differrent types.