Minor refactoring of progress and added TODO; generalizing render type signature