Support user-defined type guard functions

[ddfisher]

Currently we special case isinstance checks for determining the local type of a variable, but we could potentially give user-defined functions the same capability. See: microsoft/TypeScript#1007

[ilevkivskyi]

Closing in favour of #5206 that has more discussion.