Type check assignments(still buggy), lists, dicts, functions and do basic inference