Turns a program descriptor’s windows and views into the runtime’s templates, checking each template has what its kind needs.