fixed definition of right-of in init smem
added state name to comprehend-pp-object proposal