deleted bexeptions in the testfolder (wrong commit position)

added new feature to typechecker:
now arguments of functions with more than one are are used.
the expected type is now more complex and also works and unifies with function with more than one arg.
added two test to illustrated that new feature