Add basic type inference for lists
Implement __all__ type checking properly