Added yaml and basic definition for recursion
Improved definition for callback and add definition for tail call optimization.
added basic definition for tail call optimization