Some spec edits, added some open issues for objective-c
Some spec edits.