Null refinement

A non-null check refines a stable fix binding in its branch.

Example.kalm kalm

pub fun loud(name: Text?) -> Text:
    fix candidate = name
    if candidate != null:
        return candidate.upper()
    return "GUEST"