Added is_equal method to figure; etc.
Can make lines and triangles without all vertices.

Before:   f.new_triangle('abc','a','b','c')
After:    f.new_triangle('abc')
Updated prove.py
Removed class proof.
Remove useless functions
Updated gitignore.
Merge remote-tracking branch 'origin/other'
Merge remote-tracking branch 'origin/other'
Added 'self.type' to all classes.
Converted tabs to spaces.
Rename 'self.type' to 'self.typeof'.

Maybe 'type' is reserved.
Added refresh function.

Added system for refreshing. It will have to make all the lines,
points, etc. I have added the code to make a line betwwen every
two points when <prover object>.refresh() is called. Now have to
make triangles between every three points, etc.
Updated logger.
Addded refresh system for making triangles.

But with some bugs.
Corrected bug of creating triangles like 'aaa'.

But one more bug: Creating lines like 'ab' and 'ba'.
Fixed bug in new_triangle.

Bug was that we can make triangles abc, bac.
Added tmp. files to gitignore
Add code for congruencies. Convert lists to sets.

I think we need to convert ALL lists to sets. I
added some code to check congruencies, but it is
not working yet. There is no code for angles.
I have to add that also now.
Added code for printing congruencies.
Found huge logical error and fixed small bug.