+ Support definition of function (but not yet recursive)