remove many types
inline names into symbols
improve pretty printing in tests
accept that operators are pretty printed differently
don't ignore local values in wildcards
annotate top-level record wildcards
accept export tests
accept import tests
bump version number