change one part of a sentence in prop3 into a proof step.
remove much code that sucks and isnt used any more (replaced by new code for the Drawing mechanism thingy)
minor code reordering, removed some extraneous comments