Add some documentation on behavior tree semantics