Revert "Type check is done."

This reverts commit ac21e1651bd9e1750d209dcfdaed7dc8f3151eeb.
Nvm. type check isn't done.  it compiles all files but further testing showed errors in some places