- Progress on type analysis refactoring/reintegration