Add an abstract symbolic variable type, methods for that, and Miles
Lubin's chainRule code.