Add example.rkt. Change rule-start to rule-var. Add some comments.