Add type-narrowing

[mtshiba]

TODOs:

• [x] in
• [x] notin
• [x] is
• [x] isnot
• [x] isinstance
• [x] ==, !=, >=, ..