ExtendsProof Test (ROUGH EDITION)

There are still some issues with the output stream and show object
testing. Hopefully those can be resolved soon.