Improve naming in deferral example test.
Decompose full test vector slice list left to right in curried function synthesis implementation.
Amend previous commit so that nodes are still decomposed right-to-left in curried function synthesis.
Merge in simplified curried function synthesis implementation.