Reified: added integration test, fixed visibility of ReifiedValue's constructor,
Reified: added long example in README