Tweak trait show view
Add global proof trace. #10