Kalmer's lexer & parser
exercise 2.3
solution for exercise 2.3

Conflicts:
	transform.ml
exercise 3.2
forgot constraints for init nodes
fix is_memo