support ast.Compare node in type inference module
support sets ({x, y, z}) in type inference module
remove redundant UnknownSema, UnknownTGNode stuff