implemented bottom up type checker and set up some tests, some still failing
deleting old files
fixes in the bottom up type checker so that the tests succeed
cleaned up the code a bit