Spec based validation & correction for nested data structures, wildcard support, no macros