Updated specification index language, added design principles.