minor changes in draft spec, added newlines to print statements in Elt