add some missing fromStatement cases; make Demo.hs be an executable