Initial infrastructure for function definition quantifiers, internal parsing format for Smt2.