add inductive/lambda expressions