core: tweak pretty printer for data defs, and check type and value name spaces are distinct
Accept test output