Add some value inferencing TODOs

Mostly inspired by pychecker features
Add supported features to README

Update TODO accordingly