simple implementation of unwrapping dataspecs from specs created usin…#226

Open

wandersoncferreira wants to merge 3 commits intometosin:masterfrom

wandersoncferreira:unwrapping-data-specs

Commits on Apr 6, 2020

simple implementation of unwrapping dataspecs from specs created using dataspecs
wandersoncferreira
committed

Commits on Apr 7, 2020

property-based tests and rename of interface to unwalk
wandersoncferreira
committed

Commits on Apr 9, 2020

cleaning some hacks, implementing ds/opt in map keys
wandersoncferreira
committed