update instruction set docs for newproc & recv

these are new concurrency instructions that need to be described