Processing the declaration and implementation of functions in the
Checker, added the ValFunction constructor to be able to store
function's bodies as Sapphire Values