Reified: added ReifiedFunction2 (with tupled function; curried still needs some love)