Contents
back to parent
Don't stop on the first rtyping error. Instead, try to rtype as much as possible and show the collected error messages in the end.