Merging the typerchecker and compiler into a single pass
Removing Internal module
Removing unused module