Argument Checking without CMOD

As stated above, arguments must be checked in each method. What needs to be checked is that the number of arguments that the method is invoked with is valid, and that all the arguments that the method is invoked with have the right type. If anyone of these checks give a negative result an exception should be thrown.