- added world declaration
- cxt-lookup/unique-implies-lookup-index