Reified: moved tests and code around
Reified: removed ReifiedFunction, in favour of a ubiquitous ReifiedValue + implicit wrapping to ReifiedFunction1