Adds function invocation full support, match lacks only report of patterns in expression returned