Add function override, support narrowing when using a type guard as the resolver function

Add function override, support narrowing when using a type guard as the resolver function #389