Induce-Statements and Induce-Expressions: Constructs for Inductive Programming