intermediate, towards exp interface as in sml
Expression module reasonably far, outline of modules