Return a list of type errors rather than pass/fail, add null and wildcard types
Add error report functions for error dicts
Export useful symbols