Updated binary integration spec. It still has unfinished sections.