fixed up inverse class to operate as a function with implicit template parameters.  started doing the same with derivative and all its forms.  I think I'm going to favor specializations over general covariant function definitions for now.