lhs makefile; put new outline

TODO: add notation for lhs stuff