Added *base* to work over Zn, optree derivative sign issue persists.
Updated readme.