Removed unused import in typechecker.hs due to additional library requirements.
Added a file TestPrograms in the test folder for test programs. Please use appropriate names. Also made the Expr module accessible from the test files.
Added first test of termination checker.