Also consider builtin if when evaluating the type