Typing: Added wrong arguments error. Added test cases, fixed some