Partial type checking of 'with' statements
Support 'with' statements with names (close #123)
Fix __enter__/__exit__ methods in stubs (fix #124)
Fix parser test cases