Now able to infer builtin functions. Only a few are described right now.