Only check return expression types against signature types if a type annotation is present
Add back logic to properly look up module members
Add back missing ';' on variable declaration
Update LKG
Update jake file to use HOST variable if passed.
Test to verify module export references are emitted correctly.
Update testcase to function as regression test
Clean up tests.
Fix path normalization and add unit tests
Updating clodule tests