Try to cache functoid signatures

[pshirshov]

Cache key should be the functoid signature as a tree, cache value should be a tuple of type tags.