more progress on literate erlang