removed old files
renamed typechecker
+ possibly other minor things