If all compilers were broken into a type analysis/...

# arrow

[Bob Glamm]

If all compilers were broken into a type analysis/export phase followed by a type resolution phase followed by code generation everything works fine