Added add_term method to Blackboard and Solver, and terms=[] option to Example.