Fully support local module importexport in source typed

[martin-henz]

In #1686, @ZweZeya writes:
"To fully make this functional, we have to enable preprocessor to take in Typed AST instead of non-typed AST which I have changed. However, we have to look into the helper functions as well because the preprocessor has many helper functions and they all take in non-Typed AST. Currently, I am typecasting to get around this issue."
So I'm including this issue here, so we remember doing that.

This issue will replace: #1401