The Khornos Group has updated the OpenGL 4.2 and GLSL 4.20 specifications. I think it worth to notice the large clarification of the 'shader interface matching'. I think there is still some dodge coner cases but this is such a great improvement I was looking for!