Type for functions

Functions' types need to be defined differently so a mapping is put in place from the Class and Function to the type of the parameters and the functions output. So M(C,F) = T_1,…, T_n+1 where T_n+1 is the type of the function's output.