Revision 3173

inferDerivatives AST transformer

This commit implements some infrastructure for writing AST transformers
and a proof-of-concept AST transformer: a transformer that finds out
what derivatives are being used in the model and inserts a corresponding
DERIVATIVE OF declaration at the start.