Worlds; formula evaluation; likelihood P(data|hypothesis)

Implemented worlds with objects having binary features. Formulas may
be evaluated as true or false for objects in the world.