Added message ids to specification, clarified and cleaned up some stuff