Adding function and snd class type rules in the prototype