Added comment.
simplified semantic-iffs replaced leftovers from number type experiments.
Added new notes about how to write bali analogies.