Add tests for return type + parameterization

[aytey]

Adds tests + fixes some bugs on return types + parameterization

void foo(int, int, void (*)(int, int), void (*)(int, int))
{
}