Add support for user-defined functions

[akheron]

Simple support should be possible by just always inferring the output as T | null.

Nullability infering might be really hard, but let's try anyway!