Add the BDD example
Removed the inefficient combinator that was used in eval. Clearly, we
should refrain from building big intermediate data-structures
Added an "ident" field for types, that can be useful for debugging purposes
Merge branch 'refs/heads/bdd'

Conflicts:
	src/arti.ml
Merge branch 'performance'

Conflicts:
	src/arti.ml