added a slightly cleaned up version of the kiama demo (monday april 29th)