Internal part of interface_design.tex updated.