Lambdap: add printing, examples
lambdap: semicolons for ocaml interpreter