Remove v1-specific error assertions in typecheck_module_test, and improve corresponding v2 errors where desired.

For cases where we want something more specific than "Type mismatch: X vs. Y", the logic to add more context and suggestions can be added in the new error decorator.