Generate overloads for dynamic type checks

[alehander92]

The pattern

def a():
    if hasattr(..):
        ..
    elif isinstance(..):
        ..
    else:
        ..

happens often.

Generate an overload for each branch