started adding reasoning.  almost built up through Ext.v
proress...
lots of changes.  got deriving working finally.