[bv-dev] Value extraction open issue #9: extractors for specific parameterized types