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.