closed world example running with DRef and new scala-virtualized records and scopes