got some basic proof tactics with manual proof goal inspection working. &kibi-pa