refactor ListenableFuture and subtypes
fix concurrency issues
Refactor lock name
added valOf to match toString in ObjectType
Implemented use of DLV helpers in result calculation